A Pact with the Devil Mike Bond and George Danezis Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, CB3 0FD, UK {Mike.Bond, George.Danezis}@cl.cam.ac.uk

Source URL: www0.cs.ucl.ac.uk

• Software
• System software
• Computer security
• Computer viruses
• Antivirus software
• Deception
• Internet security
• Malware
• Virus
• Computer worm
• Avira
• Comparison of computer viruses

A Data-driven Metric for Comprehensive Evaluation of Saliency Models Jia Li1,2∗ , Changqun Xia1 , Yafei Song1 , Shu Fang3 , Xiaowu Chen1∗ 1 State Key Laboratory of Virtual Reality Technology and Systems, School of Co

Source URL: www.cv-foundation.org

• Neuroscience
• Neuropsychology
• Nervous system
• Statistical classification
• Computer vision
• Image processing
• Saliency map
• Attention
• Receiver operating characteristic
• Metric
• Binary classification
• Amphetamine

Towards High-Level Programming for Distributed Problem Solving∗ Ryan F. Kelly and Adrian R. Pearce NICTA Victoria Research Laboratory Department of Computer Science and Software Engineering The University of Melbourne

Source URL: www.rfk.id.au

D3N: Programming Distributed Computation in Pocket Switched Networks Eiko Yoneki, Ioannis Baltopoulos, and Jon Crowcroft University of Cambridge, Computer Laboratory Cambridge CB3 0FD, United Kingdom

Source URL: conferences.sigcomm.org

Stressing Out: Bitcoin “Stress Testing” Khaled Baqer1 , Danny Yuxing Huang2 , Damon McCoy3 , and Nicholas Weaver4 1 Computer Laboratory, University of Cambridge 2

Source URL: fc16.ifca.ai

Static Verification of Design Constraints and Software Correctness Properties in the Hob System Patrick Lam and Martin Rinard Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology

Source URL: patricklam.ca

Robust Topology Formation using BTnodes Jan Beutel 1 Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zurich, Switzerland

Source URL: www.tik.ee.ethz.ch

Mix-networks with Restricted Routes George Danezis University of Cambridge, Computer Laboratory, William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom.

Source URL: www0.cs.ucl.ac.uk

• Network theory
• Graph theory
• Physics
• Mathematics
• Networks
• Connectivity
• Topology
• Graphical models
• Crowds
• Degree of anonymity

MPICH Installer’s Guide∗ Version 3.2 Mathematics and Computer Science Division Argonne National Laboratory Abdelhalim Amer Pavan Balaji

Source URL: www.mpich.org

• Software
• Computing
• Computer programming
• Compiling tools
• Build automation
• Message Passing Interface
• Absoft Fortran Compilers
• MPICH
• Intel Fortran Compiler
• Configure script
• CFLAGS
• Fortran

Rewriting, Inference, and Proof? Appears in the Proceedings of the 8th Workshop on Rewriting Logic and its Applications, 2010 Natarajan Shankar1 Computer Science Laboratory

Source URL: www.csl.sri.com